<,>  AbMon{1} 

latex

Up	groups 1
Definitions of Statement	<,>
Definitions	<,>, t  T, x f y, x:A. B(x), IsEqFun(T;eq), P & Q, P  Q, , P  Q, P  Q, Assoc(T;op), ff, if b then t else f fi , tt, p q, Ident(T;op;id), Comm(T;op), Unit, ,
Lemmas	bfalse wf, bor wf, btrue wf, eq bool wf, bool wf, mk abmonoid, assert of eq bool, assert wf, iff functionality wrt iff